learn how to check reflexive symmetric and transitive relations